-
1 нормальные формы булевых выражений
Programming: normal forms for boolean expressionsУниверсальный русско-английский словарь > нормальные формы булевых выражений
-
2 обратные поправки для булевых выражений
Programming: backpatching for boolean expressionsУниверсальный русско-английский словарь > обратные поправки для булевых выражений
-
3 трансляция булевых выражений
Programming: translation of boolean expressionsУниверсальный русско-английский словарь > трансляция булевых выражений
-
4 усовершенствованный язык булевых выражений
Microelectronics: advanced boolean expression languageУниверсальный русско-английский словарь > усовершенствованный язык булевых выражений
-
5 укороченная оценка
( булевых выражений) short-circuit evaluationРусско-английский словарь по электронике > укороченная оценка
-
6 укороченная оценка
( булевых выражений) short-circuit evaluationРусско-английский словарь по радиоэлектронике > укороченная оценка
-
7 translation of boolean expressions
Программирование: трансляция булевых выражений, трансляция логических выраженийУниверсальный англо-русский словарь > translation of boolean expressions
-
8 interlock equation
блокировочная зависимость
-
[Интент]Устройства (схемы) автоматической блокировки, как была сказано, должны предотвратить неправильный пуск и останов аппаратов и машин, исключить, в частности, возможность проведения последующих операций, если не выполнена предыдущая. Например, в схемах управления реверсивными электродвигателями предусматривается блокировочная зависимость, исключающая возможность одновременного срабатывания обоих магнитных пускателей (для избежания короткого замыкания фаз).
[А. Н. Павлов. Автоматизация технологических процессов. Конспект лекций для студентов специальности 200106 «Информационно-измерительная техника и технологии». Бийск. Издательство Алтайского государственного технического университета им. И.И. Ползунова 2010]Механизмы поточно-транспортной системы сблокированы друг с другом. Это обусловлено поточностью производства, при которой материал последовательно и непрерывно поступает от одного механизма к другому.
Блокировочная зависимость предусматривает:
а) последовательность пуска механизмов в направлении, обратном технологическому потоку материалов;
б) автоматический останов всех предшествующих по потоку механизмов при аварийном останове какого-либо механизма, необходимого для того, чтобы исключить завал оастновленного механизма транспортируемым материалом.
[http://www.technonicol-moscow.ru/upravlenie/avtomatizaciya07.php]A switch command will be executed if the optional control enable has been issued and the interlock conditions are met.
The interlock conditions are defined in the interlocking logic for each switching unit within the bay that is subject to control actions and for each control direction (Open/Close).
[Schneider Electric]Команда включения или отключения выполняется после подачи разрешающего сигнала управления и выполнения блокировочных зависимостей.
Блокировочные зависимости определяют отдельно для каждого коммутационного аппарата ячейки и отдельно для операции включения и отключения.
[Перевод Интент]Interlock conditions are defined in the interlocking logic by Boolean equations.
[Schneider Electric]Блокировочные зависимости определяют логику блокирования, записываемую с помощью булевых выражений.
[Перевод Интент]If the interlock condition is to be modified, this is possible by modifying the corresponding Boolean equation in the interlocking logic or by defining a new interlocking logic equation.
[Schneider Electric]Изменить блокировочную зависимость можно путем определения нового или изменения существующего булева выражения данной блокировочной зависимости.
[Перевод Интент]Тематики
- автоматизация, основные понятия
- релейная защита
EN
логическое выражение блокировочной зависимости
-
[Интент]Параллельные тексты EN-RU
The check of bay or station interlock equations can be cancelled for all electrically controllable switchgear units within a bay.
[Schneider Electric]Проверку логических выражений блокировочных зависимостей ячейки или подстанции можно отменить для всех электрически управляемых коммутационных аппаратов, входящих в состав ячейки.
[Перевод Интент]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > interlock equation
-
9 advanced boolean expression language
Микроэлектроника: усовершенствованный язык булевых выраженийУниверсальный англо-русский словарь > advanced boolean expression language
-
10 backpatching for boolean expressions
Программирование: обратные поправки для булевых выраженийУниверсальный англо-русский словарь > backpatching for boolean expressions
-
11 normal forms for boolean expressions
Программирование: нормальные формы булевых выраженийУниверсальный англо-русский словарь > normal forms for boolean expressions
-
12 short-circuit evaluation
English-Russian electronics dictionary > short-circuit evaluation
-
13 short-circuit evaluation
The New English-Russian Dictionary of Radio-electronics > short-circuit evaluation
-
14 ABEL
-
15 weak division
«слабое» разделение ( способ исключения избыточности при обработке булевых выражений)Англо-русский словарь промышленной и научной лексики > weak division
-
16 блокировочная зависимость
- interlocking logic
- interlocking condition
- interlock equation
- interlock condition
- equations of the interlocking logic
- equation of the interlocking
блокировочная зависимость
-
[Интент]Устройства (схемы) автоматической блокировки, как была сказано, должны предотвратить неправильный пуск и останов аппаратов и машин, исключить, в частности, возможность проведения последующих операций, если не выполнена предыдущая. Например, в схемах управления реверсивными электродвигателями предусматривается блокировочная зависимость, исключающая возможность одновременного срабатывания обоих магнитных пускателей (для избежания короткого замыкания фаз).
[А. Н. Павлов. Автоматизация технологических процессов. Конспект лекций для студентов специальности 200106 «Информационно-измерительная техника и технологии». Бийск. Издательство Алтайского государственного технического университета им. И.И. Ползунова 2010]Механизмы поточно-транспортной системы сблокированы друг с другом. Это обусловлено поточностью производства, при которой материал последовательно и непрерывно поступает от одного механизма к другому.
Блокировочная зависимость предусматривает:
а) последовательность пуска механизмов в направлении, обратном технологическому потоку материалов;
б) автоматический останов всех предшествующих по потоку механизмов при аварийном останове какого-либо механизма, необходимого для того, чтобы исключить завал оастновленного механизма транспортируемым материалом.
[http://www.technonicol-moscow.ru/upravlenie/avtomatizaciya07.php]A switch command will be executed if the optional control enable has been issued and the interlock conditions are met.
The interlock conditions are defined in the interlocking logic for each switching unit within the bay that is subject to control actions and for each control direction (Open/Close).
[Schneider Electric]Команда включения или отключения выполняется после подачи разрешающего сигнала управления и выполнения блокировочных зависимостей.
Блокировочные зависимости определяют отдельно для каждого коммутационного аппарата ячейки и отдельно для операции включения и отключения.
[Перевод Интент]Interlock conditions are defined in the interlocking logic by Boolean equations.
[Schneider Electric]Блокировочные зависимости определяют логику блокирования, записываемую с помощью булевых выражений.
[Перевод Интент]If the interlock condition is to be modified, this is possible by modifying the corresponding Boolean equation in the interlocking logic or by defining a new interlocking logic equation.
[Schneider Electric]Изменить блокировочную зависимость можно путем определения нового или изменения существующего булева выражения данной блокировочной зависимости.
[Перевод Интент]Тематики
- автоматизация, основные понятия
- релейная защита
EN
Русско-английский словарь нормативно-технической терминологии > блокировочная зависимость
-
17 булево выражение
булево выражение
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]
Булево выражение
Математическое выражение, в котором все переменные имеют значения либо 0 либо 1.
[http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=23]Параллельные тексты EN-RU
The output signal of an equation can be fed into a further, higher order equation as an input signal thus creating a sequence of interlinked Boolean equations.
[Schneider Electric]Выходной сигнал булевой функции можно подать на вход другой булевой функции, создавая, таким образом, последовательность взаимосвязанных булевых выражений.
[Перевод Интент]The Boolean equations need to be defined without the use of brackets.
[Schneider Electric]Булевы выражения должны определяться без скобок.
[Перевод Интент]Тематики
- Булева алгебра, элементы цифровой техники
Синонимы
EN
Русско-английский словарь нормативно-технической терминологии > булево выражение
-
18 equation of the interlocking
блокировочная зависимость
-
[Интент]Устройства (схемы) автоматической блокировки, как была сказано, должны предотвратить неправильный пуск и останов аппаратов и машин, исключить, в частности, возможность проведения последующих операций, если не выполнена предыдущая. Например, в схемах управления реверсивными электродвигателями предусматривается блокировочная зависимость, исключающая возможность одновременного срабатывания обоих магнитных пускателей (для избежания короткого замыкания фаз).
[А. Н. Павлов. Автоматизация технологических процессов. Конспект лекций для студентов специальности 200106 «Информационно-измерительная техника и технологии». Бийск. Издательство Алтайского государственного технического университета им. И.И. Ползунова 2010]Механизмы поточно-транспортной системы сблокированы друг с другом. Это обусловлено поточностью производства, при которой материал последовательно и непрерывно поступает от одного механизма к другому.
Блокировочная зависимость предусматривает:
а) последовательность пуска механизмов в направлении, обратном технологическому потоку материалов;
б) автоматический останов всех предшествующих по потоку механизмов при аварийном останове какого-либо механизма, необходимого для того, чтобы исключить завал оастновленного механизма транспортируемым материалом.
[http://www.technonicol-moscow.ru/upravlenie/avtomatizaciya07.php]A switch command will be executed if the optional control enable has been issued and the interlock conditions are met.
The interlock conditions are defined in the interlocking logic for each switching unit within the bay that is subject to control actions and for each control direction (Open/Close).
[Schneider Electric]Команда включения или отключения выполняется после подачи разрешающего сигнала управления и выполнения блокировочных зависимостей.
Блокировочные зависимости определяют отдельно для каждого коммутационного аппарата ячейки и отдельно для операции включения и отключения.
[Перевод Интент]Interlock conditions are defined in the interlocking logic by Boolean equations.
[Schneider Electric]Блокировочные зависимости определяют логику блокирования, записываемую с помощью булевых выражений.
[Перевод Интент]If the interlock condition is to be modified, this is possible by modifying the corresponding Boolean equation in the interlocking logic or by defining a new interlocking logic equation.
[Schneider Electric]Изменить блокировочную зависимость можно путем определения нового или изменения существующего булева выражения данной блокировочной зависимости.
[Перевод Интент]Тематики
- автоматизация, основные понятия
- релейная защита
EN
Англо-русский словарь нормативно-технической терминологии > equation of the interlocking
-
19 equations of the interlocking logic
блокировочная зависимость
-
[Интент]Устройства (схемы) автоматической блокировки, как была сказано, должны предотвратить неправильный пуск и останов аппаратов и машин, исключить, в частности, возможность проведения последующих операций, если не выполнена предыдущая. Например, в схемах управления реверсивными электродвигателями предусматривается блокировочная зависимость, исключающая возможность одновременного срабатывания обоих магнитных пускателей (для избежания короткого замыкания фаз).
[А. Н. Павлов. Автоматизация технологических процессов. Конспект лекций для студентов специальности 200106 «Информационно-измерительная техника и технологии». Бийск. Издательство Алтайского государственного технического университета им. И.И. Ползунова 2010]Механизмы поточно-транспортной системы сблокированы друг с другом. Это обусловлено поточностью производства, при которой материал последовательно и непрерывно поступает от одного механизма к другому.
Блокировочная зависимость предусматривает:
а) последовательность пуска механизмов в направлении, обратном технологическому потоку материалов;
б) автоматический останов всех предшествующих по потоку механизмов при аварийном останове какого-либо механизма, необходимого для того, чтобы исключить завал оастновленного механизма транспортируемым материалом.
[http://www.technonicol-moscow.ru/upravlenie/avtomatizaciya07.php]A switch command will be executed if the optional control enable has been issued and the interlock conditions are met.
The interlock conditions are defined in the interlocking logic for each switching unit within the bay that is subject to control actions and for each control direction (Open/Close).
[Schneider Electric]Команда включения или отключения выполняется после подачи разрешающего сигнала управления и выполнения блокировочных зависимостей.
Блокировочные зависимости определяют отдельно для каждого коммутационного аппарата ячейки и отдельно для операции включения и отключения.
[Перевод Интент]Interlock conditions are defined in the interlocking logic by Boolean equations.
[Schneider Electric]Блокировочные зависимости определяют логику блокирования, записываемую с помощью булевых выражений.
[Перевод Интент]If the interlock condition is to be modified, this is possible by modifying the corresponding Boolean equation in the interlocking logic or by defining a new interlocking logic equation.
[Schneider Electric]Изменить блокировочную зависимость можно путем определения нового или изменения существующего булева выражения данной блокировочной зависимости.
[Перевод Интент]Тематики
- автоматизация, основные понятия
- релейная защита
EN
Англо-русский словарь нормативно-технической терминологии > equations of the interlocking logic
-
20 interlock condition
блокировочная зависимость
-
[Интент]Устройства (схемы) автоматической блокировки, как была сказано, должны предотвратить неправильный пуск и останов аппаратов и машин, исключить, в частности, возможность проведения последующих операций, если не выполнена предыдущая. Например, в схемах управления реверсивными электродвигателями предусматривается блокировочная зависимость, исключающая возможность одновременного срабатывания обоих магнитных пускателей (для избежания короткого замыкания фаз).
[А. Н. Павлов. Автоматизация технологических процессов. Конспект лекций для студентов специальности 200106 «Информационно-измерительная техника и технологии». Бийск. Издательство Алтайского государственного технического университета им. И.И. Ползунова 2010]Механизмы поточно-транспортной системы сблокированы друг с другом. Это обусловлено поточностью производства, при которой материал последовательно и непрерывно поступает от одного механизма к другому.
Блокировочная зависимость предусматривает:
а) последовательность пуска механизмов в направлении, обратном технологическому потоку материалов;
б) автоматический останов всех предшествующих по потоку механизмов при аварийном останове какого-либо механизма, необходимого для того, чтобы исключить завал оастновленного механизма транспортируемым материалом.
[http://www.technonicol-moscow.ru/upravlenie/avtomatizaciya07.php]A switch command will be executed if the optional control enable has been issued and the interlock conditions are met.
The interlock conditions are defined in the interlocking logic for each switching unit within the bay that is subject to control actions and for each control direction (Open/Close).
[Schneider Electric]Команда включения или отключения выполняется после подачи разрешающего сигнала управления и выполнения блокировочных зависимостей.
Блокировочные зависимости определяют отдельно для каждого коммутационного аппарата ячейки и отдельно для операции включения и отключения.
[Перевод Интент]Interlock conditions are defined in the interlocking logic by Boolean equations.
[Schneider Electric]Блокировочные зависимости определяют логику блокирования, записываемую с помощью булевых выражений.
[Перевод Интент]If the interlock condition is to be modified, this is possible by modifying the corresponding Boolean equation in the interlocking logic or by defining a new interlocking logic equation.
[Schneider Electric]Изменить блокировочную зависимость можно путем определения нового или изменения существующего булева выражения данной блокировочной зависимости.
[Перевод Интент]Тематики
- автоматизация, основные понятия
- релейная защита
EN
Англо-русский словарь нормативно-технической терминологии > interlock condition
- 1
- 2
См. также в других словарях:
Модель Крипке — (англ. Kripke structure) это один из вариантов недетерминированного конечного автомата, который был предложен Солом Крипке. Этот вид НКА применяется при проверке моделeй для представления поведения системы. Модель Крипке является простой… … Википедия
блокировочная зависимость — [Интент] Устройства (схемы) автоматической блокировки, как была сказано, должны предотвратить неправильный пуск и останов аппаратов и машин, исключить, в частности, возможность проведения последующих операций, если не выполнена предыдущая.… … Справочник технического переводчика
булево выражение — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Булево выражение Математическое выражение, в котором все переменные имеют значения либо 0 либо 1. [http://www.rfcmd.ru/glossword/1.8/index.php?a=index … Справочник технического переводчика
булево выражение — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Булево выражение Математическое выражение, в котором все переменные имеют значения либо 0 либо 1. [http://www.rfcmd.ru/glossword/1.8/index.php?a=index … Справочник технического переводчика
блокировочная зависимость — [Интент] Устройства (схемы) автоматической блокировки, как была сказано, должны предотвратить неправильный пуск и останов аппаратов и машин, исключить, в частности, возможность проведения последующих операций, если не выполнена предыдущая.… … Справочник технического переводчика
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
ФОРМАЛЬНАЯ ФИЛОСОФИЯ — существующая в течение тысячелетий тенденция философии к фундаментальному обобщению понятий и законов, присущих формальным аспектам частных философских наук: формальной логики, формальной онтологии, формальной этики (см. в наст. словаре ст. с… … Современный философский словарь
Полином Жегалкина — Полином Жегалкина многочлен над кольцом , то есть полином с коэффициентами вида 0 и 1, где в качестве произведения берётся конъюнкция, а в качестве сложения исключающее или. Полином был предложен в 1927 году… … Википедия
Список алгоритмов — Эта страница информационный список. Основная статья: Алгоритм Ниже приводится список алгоритмов, группированный по категориям. Более детальные сведения приводятся в списке структур данных и … Википедия
Icon (язык программирования) — У этого термина существуют и другие значения, см. Icon (значения). Icon Семантика: мультипарадигменный: императивный, логический … Википедия
ПОНЯТИЕ — общее имя с относительно ясным содержанием и сравнительно четко очерченным объемом. П. являются, напр., «химический элемент», «закон», «сила тяготения», «астрономия», «поэзия» и т.п. Отчетливой границы между теми именами, которые можно назвать П … Философская энциклопедия